// printf.c
int             printf(char*);

// proc.c
int             cpuid(void);

// uart.c
void            uartinit(void);
void            uartputc_sync(int);
